#include<cstdio>

int main(){
	int x[10];
	for(int n=0;n<10;n++){
		scanf("%d",&x[n]);
	}
	int y[10];
	int k[10];
	for(int o=0;o<10;o++){
		k[o]=x[o];
	}
	for(int w=0;w<10;w++){
		y[w]=0;
	}
	int a;
	int count=0;
	for(int m=0;m<10;m++){
		if(k[m]>=0){
			count=0;
			a=x[m];
			for(int h=0;h<10;h++){
				if(a==k[h]){
					count++;
					k[h]=-1;
				}
			}
			y[m]=count;
		}
	}
	for(int i=0;i<10;i++){
		for(int j=0;j<9-i;j++){
			if(y[j]<y[j+1]){
				int r=x[j];
				x[j]=x[j+1];
				x[j+1]=r;
				
				int u=y[j];
				y[j]=y[j+1];
				y[j+1]=u;
			} 
		}
	}
	for(int s=0;s<10;s++){
		if(y[s]!=0){
			printf("%4d:%4d\n",x[s],y[s]);
		}
	}
}
